Nuprl Definition : iabgrp 13,42
IAbGrp{i} == {g:IGroup| Comm(|g|;*)}  
latex

clarification:

IAbGrp{i} == {g:IGroup{i}| Comm(|g|;*g)}  
latex

Upgroups 1
Wellformedness Lemmasiabgrp wf
Definitions{x:A| B(x)} , IGroup, Comm(T;op), |g|, *

origin